Dependency Injection with Static Analysis and Context-Aware Policy.
نویسندگان
چکیده
منابع مشابه
Dependency Injection with Static Analysis and Context-Aware Policy
The dependency injection design pattern improves the configurability, testability, and maintainability of object-oriented applications by decoupling components from both the concrete implementations of their dependencies and the strategy employed to select those implementations. In recent years, a number of libraries have emerged that provide automated support for constructing and connecting de...
متن کاملContext-aware security: Linguistic mechanisms and static analysis
Adaptive systems improve their efficiency by modifying their behaviour to respond to changes in their operational environment. Also, security must adapt to these changes and policy enforcement becomes dependent on the dynamic contexts. We study these issues within MLCoDa, (the core of) an adaptive declarative language proposed recently. A main characteristic of MLCoDa is to have two components:...
متن کاملStatic Context Model for Context Aware E-learning
Context aware E-Learning systems provide learning content according to a learner’s context. In order to determine a learner’s context, the parameters that constitute the context and the values of these parameters in the current learner’s situation have to be found. There are several existing context aware E-Learning systems and each of these are taking care of some of the context parameters lik...
متن کاملDemonstrating Context-aware Process Injection with the CaPI Tool
Today’s enterprises face individual customer expectations, high product variability, and an abundance of regulations. Consequently, they must cope with numerous business process variants, whose design and execution depend on a multiplicity of influencing factors, like, e.g., customer requests, resource availability, compliance rules, or process data. Moreover, already running processes need to ...
متن کاملSpeeding Up Maximal Causality Reduction with Static Dependency Analysis
Stateless Model Checking (SMC) offers a powerful approach to verifying multithreaded programs but suffers from the state-space explosion problem caused by the huge thread interleaving space. The pioneering reduction technique Partial Order Reduction (POR) mitigates this problem by pruning equivalent interleavings from the state space. However, limited by the happens-before relation, POR still e...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: The Journal of Object Technology
سال: 2016
ISSN: 1660-1769
DOI: 10.5381/jot.2016.15.1.a1